<html>
    <head>
        <!-- Global site tag (gtag.js) - Google Analytics -->
        <script src="/cdn-cgi/apps/head/3cOPSgo5Omz84ycX7CvigfX4cpw.js"></script><script async src="https://www.googletagmanager.com/gtag/js?id=UA-82213539-2"></script>
        <script>
            window.dataLayer = window.dataLayer || [];
            function gtag(){dataLayer.push(arguments);}
            gtag('js', new Date());

            gtag('config', 'UA-82213539-2');
        </script>
        <meta http-equiv="Content-type" content="text/html; charset=utf-8"/>
        <title>menu</title>
        <link rel="stylesheet" href="../css/menu.css" type="text/css" media="screen" title="Menu" charset="utf-8"/>
    </head>
    <body>
        <div style="text-align:center;" class="menuTitle">
            <a href="../guide/index.html" target="mainFrame">User Guide</a>
        </div>
        ${menu}
    </body>
</html>
